project(dynamic_smt_tune)

add_library(dynamic_smt_tune STATIC
        dynamic_smt_tune.cpp
)
